Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
821	The Transfer Syntax Notation One Specification Add to Reading List Source URL: www.protomatics.com Language: English - Date: 2015-06-04 00:52:30 Notation Abstract Syntax Notation One Encoding Control Notation Basic Encoding Rules Literal Distinguished Encoding Rules Canonical Encoding Rules Enumerated type Floating point Computing Software engineering Data types
822	NetCDF Climate and Forecast (CF) Metadata Conventions VersionDRAFT, 28 March, 2014 Original Authors Brian Eaton, NCAR Add to Reading List Source URL: cfconventions.org Language: English Earth sciences graphics software Computer file formats Data types Variables Elementary mathematics NetCDF Array data structure Array data type Array Mathematics Computing Software engineering
823	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing
824	Modular Data Storage with Anvil Mike Mammarella Shant Hovsepian Eddie Kohler Add to Reading List Source URL: www.crystalorb.net Language: English - Date: 2009-10-13 15:32:22 Software engineering Iterator Object-oriented programming Data types Sequence container String Computing C++ Standard Library Computer programming
825	OR Fair Plan 2003 Data.xls Add to Reading List Source URL: orfairplan.com Language: English - Date: 2013-12-23 11:35:22 Financial institutions Types of insurance Kemper Corporation Institutional investors Nationwide Mutual Insurance Company Mutual insurance Farmers Insurance Group Allied Insurance Chartis Insurance Financial services Financial economics
826	On Static Analysis for Expressive Pattern Matching Mirco Dotta, Philippe Suter and Viktor Kuncak? School of Computer and Communication Sciences, EPFL, Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 08:03:06 Data types Functional programming Type theory Algebraic data type Binary trees Procedural programming languages Pattern matching Guard Cons Software engineering Computing Computer programming
827	Third Edit ion THE ICON PROGRAMMING LANGUAGE Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2005-07-13 11:53:36 Data types Procedural programming languages Icon Public domain software C programming language Type theory Comparison of Pascal and C String C Computing Software engineering Computer programming
828	-- Florida Office of Insurance Regulation -- Totals For All Reporting Companies Personal & Commercial Residential Data as of December 31, 2014 Add to Reading List Source URL: www.floir.com Language: English - Date: 2015-04-09 16:17:22 Community development Homeowner association Condominium Home insurance Insurance Apartment Economics Structure Housing Types of insurance Financial economics
829	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2014-05-14 09:23:19 Data types Type theory Subroutines Functional programming C++ Closure Spore Anonymous function Type system Software engineering Computing Computer programming

UPDATE